$\forall$${\it es}$:ES, $e$:E. first{-}event\{i:l\}(${\it es}$;$e$) $\in$ E